A Technique for Handling the Right Hand Side of Complex RIAs
نویسندگان
چکیده
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motivation comes from modeling product models in manufacturing systems. The series of papers, so far, have studied the extension of tableau algorithm for Description Logics (DLs) to capture complex RIAs. However, such RIAs permit only the left hand side of the composition of roles. To illustrate the technique, we extend RIQ DL with one RIA of the form Rv̇Q ◦ P .
منابع مشابه
On the averaging of differential inclusions with Fuzzy right hand side with the average of the right hand side is absent
In this article we consider the averaging method for differential inclusions with fuzzy right-hand side for the case when the limit of a method of an average does not exist.
متن کاملAlgebraic Solving of Complex Interval Linear Systems by Limiting Factors
In this work, we propose a simple method for obtaining the algebraic solution of a complex interval linear system where coefficient matrix is a complex matrix and the right-hand-side vector is a complex interval vector. We first use a complex interval version of the Doolittle decomposition method and then we restrict the Doolittle's solution, by complex limiting factors, to achieve a complex in...
متن کاملComparison of electrical and co-contraction activity of selected lower limb muscles during manual load lifting with three different technique
Introduction and Aim: Manual handling of loads is a complex dynamic task that involves the upper and lower limbs. Manual handling of loads in sports and daily activities can expose people to unfavorable physical conditions and lead to injury. The study aimed to compare the electrical activity and co-contraction of selected lower limb muscles during manual load lifting with three different techn...
متن کاملA Complex Variations in the Rout and Branches of Radial Artrey
Radial artrey is one of the two terminal branches of brachial artery. It descends along the lateral side of the foream to the wrist where it curls posterolaterally round the carpus, deep to the snuff box, to reach the proximal end of the first intermetcarpal space where it dips in the palm and crosses medially to form the deep palmar arch with the deep branch of the ulnar artery. In the process...
متن کاملSilent Tachypnoea in a Neonate: A Rare Presentation of Right Side Bochdalek Hernia with Intrathoracic Kidney
Congenital diaphragmatic hernia (CDH) is a rare condition. The reported incidence of intrathoracic renal ectopia due to CDH is also rare. A right-sided thoracic kidney is much less common due to the location of the liver. Isolated intrathoracic kidney is usually asymptomatic and diagnosed incidentally on chest imaging. The authors report on a 21days old female infant with late-presenting right ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011